Journal:NFC-IEER Journal of Engineering & Scientific Research, 2018, Volume 6, Issue No 2
Author(s): Tariq Ali, Sana Yasin
Keyword(s): Big Data, Formal Methods, Gene, VDM-SL, Verification & Validation, Human gene structures, Mapping
Search Results
Journal:NFC-IEER Journal of Engineering & Scientific Research, 2018, Volume 6, Issue No 2
Author(s): Tariq Ali, Sana Yasin
Keyword(s): Big Data, Formal Methods, Gene, VDM-SL, Verification & Validation, Human gene structures, Mapping